📐 Type Theory

Programming Languages, Static Analysis, Lambda Calculus, Dependent Types

The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·1d·
Discuss: Hacker News
🧮Programming Language Theory
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·11h
🧮Programming Language Theory
Show HN: List of Clojure-Like projects
github.com·2h·
Discuss: Hacker News
🔧Compiler Design
Lobsters Interview with Icefox
lobste.rs·6h·
Discuss: Lobsters
🔧Compiler Design
True names matter in C++
quuxplusone.github.io·23h
🧮Programming Language Theory
OSE: The End of Programming Language Silos?
dev.to·14h·
Discuss: DEV
🔧Compiler Design
Hask Is Not a Category
math.andrej.com·2d·
Discuss: Hacker News
🔄Category Theory
Chromahack, a programming language
blog.libove.org·2h
🔧Compiler Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
🔢Mathematical Logic
Issue 483
haskellweekly.news·1d
⚙Functional Programming
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·1d
🧮Programming Language Theory
Symbolic-numeric programming in scientific computing
dspace.mit.edu·2d
⚙Functional Programming
🐥 Elixir Anti-Patterns
yellowduck.be·6h
⚙Functional Programming
Constraint Catalog
sofdem.github.io·21h
🎯Constraint Programming
Understanding Sized, Copy, and Clone Traits
dev.to·15h·
Discuss: DEV
🦀Rust
LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·1d
⚙Functional Programming
Proving theorems using Julia's types (or, a mini-Lean in Julia)
lmao.bearblog.dev·3d·
Discuss: Hacker News
📝Lisp
Parsec — Terminal-Based File Summarizer TUI in Go with Multi-language Support
reddit.com·1d·
Discuss: r/golang
🔧Compiler Design
The Only Programming Language That Refuses to Obey
dev.to·3h·
Discuss: DEV
🧮Programming Language Theory
🔗 Upside-Down Development
jardo.dev·3d
🧮Programming Language Theory